Quantum logic

Results: 232



#Item
11Quantum mechanics / Physics / Mathematics / Academia / Quantum logic / Mathematical formulation of quantum mechanics / Measurement in quantum mechanics / John von Neumann / Operator algebra / David Hilbert / Quantum entanglement / Hilbert space

A New Approach to Quantum Logic K.Engesser D.M. Gabbay dov.gabbay @kcl.ac.uk D. Lehmann 2

Add to Reading List

Source URL: www.dcs.kcl.ac.uk

Language: English - Date: 2006-10-09 09:59:03
12Lambda calculus / Quantum mechanics / Combinatory logic / Logic in computer science / Futures contract / Forward contract / Government procurement in the United States / Derivative / Observable

Composing ComposingContracts: contracts: An Adventure in Financial Engineering

Add to Reading List

Source URL: www.cs.uu.nl

Language: English - Date: 2001-11-22 11:58:10
13Theoretical computer science / Models of computation / Logic gates / Digital electronics / Quantum information science / Reversible computing / Thermodynamics / Toffoli gate / Fredkin gate / Adder / Quantum computing / Quantum circuit

ISSN No: International Journal & Magazine of Engineering, Technology, Management and Research A Peer Reviewed Open Access International Journal

Add to Reading List

Source URL: www.ijmetmr.com

Language: English - Date: 2015-06-09 08:18:16
14Category theory / Algebra / Mathematics / Monoidal categories / Lambda calculus / Functors / Algebraic topology / Cartesian closed category / Topological quantum field theory / Morphism / Natural transformation / Coproduct

arXiv:0903.0340v3 [quant-ph] 6 JunPhysics, Topology, Logic and Computation: A Rosetta Stone John C. Baez Department of Mathematics, University of California

Add to Reading List

Source URL: arxiv.org

Language: English - Date: 2009-06-05 20:47:48
15Mathematics / Theoretical computer science / Mathematical logic / Fibonacci number / LRS / Algebraic geometry / Thoralf Skolem / Quantum computing

Decision Problems for Linear Recurrence Sequences? Jo¨el Ouaknine Department of Computer Science, Oxford University, UK

Add to Reading List

Source URL: fct2013.csc.liv.ac.uk

Language: English - Date: 2013-06-20 05:30:29
16Mathematics / Quantum mechanics / Algebra / Physics / Probability theory / Complemented lattice / Lattice theory / Boolean algebra / Quantum logic / Quantum probability / Probability / Experiment

MBS Technical ReportOn Replacing “Quantum Thinking” with Counterfactual Reasoning1 Louis Narens Department of Cognitive Sciences

Add to Reading List

Source URL: www.imbs.uci.edu

Language: English - Date: 2015-06-17 18:14:51
17Theoretical computer science / Electronic engineering / Models of computation / Electrical engineering / Computer arithmetic / Digital electronics / Logic gates / Reversible computing / Thermodynamics / Adder / Fredkin gate / Quantum computing

ISSN No: International Journal & Magazine of Engineering, Technology, Management and Research A Peer Reviewed Open Access International Journal

Add to Reading List

Source URL: www.ijmetmr.com

Language: English - Date: 2015-02-16 07:08:02
18Theoretical physics / Physics / Mathematics / Mathematical physics / Quantum gravity / Duality / Noncommutative geometry / Mathematical formulation of quantum mechanics / Hermann Weyl / Model theory / Heisenberg group / Mathematical logic

Dualities in logic and geometry The Weyl-Heisenberg algebra Calculations

Add to Reading List

Source URL: people.maths.ox.ac.uk

Language: English - Date: 2014-08-13 10:47:43
19Theoretical computer science / PP / Quantum complexity theory / Boolean algebra / Mathematics / Numerical software / Logic in computer science / Bayesian network / PROPT

Probabilistic Inference and Accuracy Guarantees Stefano Ermon CS Department, Stanford

Add to Reading List

Source URL: intelligence.org

Language: English - Date: 2016-06-01 20:00:33
20Physics / Quantum mechanics / Theoretical physics / Logic / Quantum logic / Laws of science / Hilbert space / Special relativity / Spin

Higher-order interference and single-system postulates characterizing quantum theory Howard Barnum,1, 2, ∗ Markus P. M¨ uller,3, † and Cozmin Ududec4, ‡ 1 arXiv:1403.4147v4 [quant-ph] 3 Jan 2015

Add to Reading List

Source URL: arxiv.org

Language: English - Date: 2015-01-05 21:00:17
UPDATE